$\forall$$e$$\leq$${\it e'}$.$P$($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$e$:E. $e$ $\leq$ ${\it e'}$  $\Rightarrow$ $P$($e$)